Nuprl Definition : countable-p-union
11,40
postcript
pdf
countable-p-union(
i
.
A
(
i
))(
p
)
== if (
p
.1 =
0) then 0 else imax-list(map(
i
.
A
(
i
)(
p
);upto(
p
.1))) fi
latex
Definitions
if
b
then
t
else
f
fi
,
(
i
=
j
)
,
#$n
,
imax-list(
L
)
,
map(
f
;
as
)
,
x
.
A
(
x
)
,
f
(
a
)
,
upto(
n
)
,
t
.1
FDL editor aliases
countable-p-union
origin
0) then 0 else imax-list(map(
i.A(i)(p);upto(p.1))) fi 0) then 0 else imax-list(map(i.A(i)(p);upto(p.1))) fi j)x.A(x)